Untitled by Bruce Stillman

ropositional its Jonathan Stillman

We characterize the complexity of several typical problems in propositional default logics. In particular, we examine the complexity of extension membership, extension existence, and extension entailment problems. We show that the extension existence problem is X; complete, even for semi-normal theories, and that the extension membership and entailment problems are X; complete and II; complete ...

untitled - PhysRevLett.114.098101

We study the effect of transmembrane proteins on the shape, composition, and thermodynamic stability of the surrounding membrane. When the coupling between membrane composition and curvature is strong enough, the nearby membrane composition and shape both undergo a transition from overdamped to underdamped spatial variation, well before the membrane becomes unstable in the bulk. This transition...

Untitled ICsysArr...onverted)

A method SYS 2toMoM to map systolic systems onto the MoM ( m apo riented m achine) is introduced in this paper. This mapping method is needed to derive a methodology of MoM application development support from the theory of systolic array synthesis. The MoM is a flexible non-von-Neumann computer principle having been developed at Kaiserslautern. MoM "programming" uses combinational code (for pa...

1-2-3 - Untitled.123

The HMGU thoron experimental house: a new tool for exposure assessment Doses in human organs due to alpha, beta and gamma radiations emitted by thoron progeny in the lung A theoretical study on accurate measurements of thoron with airflow-through scintillation cell method RADIATION PROTECTION DOSIMETRY OCT 2010 141 4 Sp. Iss. SI 448 451 Ishimori, Y Time-integrated monitoring of thoron progeny c...

Blow Out , Flight , Untitled Emily Walley